Une implémentation TOPCASED supportant un processus multi-formalisme de développement par transformation de modèles : Ingénierie à base de modèles = Supporting a Multi-Formalism Model Driven Development Process with Model Transformation, a TOPCASED ImplementationDUMAS, Xavier; GABEL, Sébastien; HONORE, Julien et al.REE. Revue de l'électricité et de l'électronique. 2009, Num 2, issn 1265-6534, 45-51, 62 [8 p.]Article

Une utilisation opérationnelle d'ATL : L'intégration de la transformation de modèles dans le projet TOPCASED = An operational use of ATL: the integration of the model transformation in the TOPCASED projectCANALS, Agusti; LE CAMUS, Christophe; FEAU, Marion et al.Génie logiciel (1995). 2005, Num 73, pp 21-26, issn 1265-1397, 6 p.Conference Paper

Utilisation des transformations de modèles pour implémenter un moteur de simulation d'automatesDUPRAT, Stéphane; FAUDOU, Raphaël; RIBEIRO CAMPELO, David et al.Génie logiciel (1995). 2009, Num 89, issn 1265-1397, 19-24, 64 [7 p.]Conference Paper

TOPCASED : un environnement de développement open source pour les systèmes embarqués = TOPCASED: an open source development environment for the embedded systemsFARAIL, Pierre; GAUFILLET, Patrick.Génie logiciel (1995). 2005, Num 73, pp 16-20, issn 1265-1397, 5 p.Conference Paper

Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques: Travaux et retours d'expérience = UML/SysML approach for software specification of aeronautic embedded systems. Works and feedbackFERNANDES PIRES, Anthony; DUPRAT, Stéphane; BESSEYRE, Cédrik et al.TSI. Technique et science informatiques. 2012, Vol 31, Num 7, pp 897-916, issn 0752-4072, 20 p.Article

TOPCASED : L'ingénierie des modèles appliquée aux systèmes embarqués critiquesBERNARD, Yves; ROSSIGNOL, Alain.Génie logiciel (1995). 2006, Num 77, pp 2-10, issn 1265-1397, 9 p.Conference Paper